Computer Science Electives

Module	LV Type	CP	LV	Dates
[KP27275] Privacy Enhancing Technologies	Fach-/Modulprüfung	4	479525
[KP27275] Privacy Enhancing Technologies	Vorlesung/Übung		479527	Mo 10:00-12:00 Extern (×12) Mi 14:00-16:00 Extern (×13)
Advanced Algorithmic Differentiation	Fach-/Modulprüfung	6	506262
Advanced Algorithmic Differentiation	Vorlesung/Übung		479201	Di 08:30-10:00 AH III (2350\|314.1) (×14) Fr 14:30-16:00 AH III (2350\|314.1) (×13)
Advanced Internet Technology	Fach-/Modulprüfung	6	481832
	Vorlesung		481601	Do 10:30-12:00 AH I (2350\|028) (×12) Fr 10:30-12:00 AH I (2350\|028) (×12)
	Übung		481600
Algorithmische Spieltheorie	Fach-/Modulprüfung	6	478826
Communication Systems Engineering	Fach-/Modulprüfung	6	476921
Dynamical Processes on Networks	Fach-/Modulprüfung	6	475176
	Vorlesung		481663	Di 12:30-14:00 AH I (2350\|028) (×12) Mi 08:30-10:00 AH VI (2356\|051) (×14)
	Übung		481664	Mi 10:30-12:00 AH V (2356\|050) (×14)
Eingebettete Systeme	Fach-/Modulprüfung	6	477537
	Vorlesung/Übung		473387	Di 12:30-14:00 AH III (2350\|314.1) (×12) Do 12:30-14:00 AH III (2350\|314.1) (×10)
	Vorlesung/Übung		474003	Mo 14:30-16:00 AH III (2350\|314.1) (×10) Di 10:30-12:00 AH II (2350\|111) (×12)
Infinite Computations and Games	Fach-/Modulprüfung	6	476569
Konzepte und Modelle der parallelen und datenzentrischen Programmierung	Fach-/Modulprüfung	6	477153
	Vorlesung/Übung		481436	Di 12:30-14:00 H05 (1385\|105) (×12) Do 14:30-16:00 H05 (1385\|105) (×6)
Leistungs- und Korrektheitsanalyse paralleler Programme	Fach-/Modulprüfung	6	478425
Leistungs- und Korrektheitsanalyse paralleler Programme	Vorlesung/Übung		470949	Mo 14:30-16:00 5056 (2356\|056) (×6) Mo 14:30-16:00 Fakultätsseminarraum (2359\|U112) (×1) Mo 14:30-16:00 S11 (1385\|211) (×5) Do 12:30-14:00 5056 (2356\|056) (×6) Do 12:30-14:00 Extern (×1) Do 12:30-14:00 H10 (1385\|217) (×4)
Mobile Internet Technology	Fach-/Modulprüfung	6	478980
Model Checking	Fach-/Modulprüfung	6	477928
	Vorlesung		474525	Mo 12:00-14:00 5055 (2356\|055) (×1) Mo 16:30-18:00 AH II (2350\|111) (×10) Di 18:30-20:00 AH III (2350\|314.1) (×12) Do 09:50-15:00 5052 (2356\|052) (×1)
	Übung		474235	Fr 12:30-14:00 AH II (2350\|111) (×13)
Modellierung und Analyse hybrider Systeme	Fach-/Modulprüfung	6	476135
Probabilistic Programming	Fach-/Modulprüfung	4	476025
Research Focus Class on Communication Systems	Fach-/Modulprüfung	6	476568
Semantik und Verifikation von Software	Fach-/Modulprüfung	6	478508
	Vorlesung		481432	Mo 12:30-14:00 AH III (2350\|314.1) (×8) Di 12:30-14:00 AH VI (2356\|051) (×9) Di 13:00-14:00 AH VI (2356\|051) (×1)
	Übung		481431	Mi 10:30-12:00 AH I (2350\|028) (×10)
Software Language Engineering	Projekt	6	474067
Software Language Engineering	Vorlesung/Übung		471564	Mo 16:15-18:15 Fakultätsseminarraum (2359\|U112) (×1) Mo 16:15-18:15 S11 (1385\|211) (×1) Mo 16:30-18:00 2353\|312 (×1) Mo 16:30-18:00 AH IV (2354\|030) (×8) Di 12:15-14:15 Fakultätsseminarraum (2359\|U112) (×1) Di 12:15-14:15 HKW 4 (1132\|503) (×1) Di 12:30-14:00 2353\|312 (×1) Di 12:30-14:00 AH IV (2354\|030) (×9) Mi 16:15-18:15 Fakultätsseminarraum (2359\|U112) (×1) Mi 16:30-18:00 2353\|312 (×1) Mi 16:30-18:00 AH IV (2354\|030) (×9)
Software-Projektmanagement	Fach-/Modulprüfung	4	476170
	Vorlesung		472718	Mi 08:30-11:30 5054 (2356\|054) (×1) Mi 10:30-12:00 AH VI (2356\|051) (×8) Do 09:00-10:00 5054 (2356\|054) (×1) Fr 08:30-10:00 AH I (2350\|028) (×5)
	Übung		472187	Mi 10:30-12:00 AH VI (2356\|051) (×3) Mi 12:30-14:00 AH III (2350\|314.1) (×1) Mi 12:30-14:00 AH VI (2356\|051) (×2)
Statische Programmanalyse	Fach-/Modulprüfung	6	476798